Statistical mechanics of the randomK-satisfiability model
نویسندگان
چکیده
منابع مشابه
Statistical mechanics of the random K-satisfiability model
The random K-satisfiability problem, consisting in verifying the existence of an assignment of N Boolean variables that satisfy a set of M5aN random logical clauses containing K variables each, is studied using the replica symmetric framework of diluted disordered systems. We present an exact iterative scheme for the replica symmetric functional order parameter together for the different cases ...
متن کاملCritical Behavior in the Satisfiability of Randomk-horn Formulae
GABRIEL ISTRATE Abstract. We determine the asymptotical satisfiability probability of a random at-most-k-Horn formula, via a probabilistic analysis of a simple version, called PUR, of positive unit resolution. We show that for k = k(n) ! 1 the problem can be “reduced” to the case k(n) = n, that was solved in [12]. On the other hand, in the case k = constant the behavior of PUR is modeled by a s...
متن کاملAN ACCURATE SOLUTION FOR THE TWODIMENSIONAL MODEL OF ALBITE USING STATISTICAL MECHANICS
A two-dimensional model of Al, Si ordering in alkali feldspar is formulated and used to calcul~tea ccurately the configurational entropy for the model. For this purpose, a new method called Independent Basic Unit or IBU is introduced. To compare the results with the exact values, this method is applied to the onedimensional model of albite. The results given by IBU are found to be accurate ...
متن کاملHiding solutions in random satisfiability problems: A statistical mechanics approach
A major problem in evaluating stochastic local search algorithms for NP-complete problems is the need for a systematic generation of hard test instances having previously known properties of the optimal solutions. On the basis of statistical mechanics results, we propose random generators of hard and satisfiable instances for the 3-satisfiability problem. The design of the hardest problem insta...
متن کاملthe innovation of a statistical model to estimate dependable rainfall (dr) and develop it for determination and classification of drought and wet years of iran
آب حاصل از بارش منبع تأمین نیازهای بی شمار جانداران به ویژه انسان است و هرگونه کاهش در کم و کیف آن مستقیماً حیات موجودات زنده را تحت تأثیر منفی قرار می دهد. نوسان سال به سال بارش از ویژگی های اساسی و بسیار مهم بارش های سالانه ایران محسوب می شود که آثار زیان بار آن در تمام عرصه های اقتصادی، اجتماعی و حتی سیاسی- امنیتی به نحوی منعکس می شود. چون میزان آب ناشی از بارش یکی از مولفه های اصلی برنامه ...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Physical Review E
سال: 1997
ISSN: 1063-651X,1095-3787
DOI: 10.1103/physreve.56.1357